The expectation monad in quantum foundations
نویسندگان
چکیده
منابع مشابه
The Expectation Monad in Quantum Foundations
The expectation monad is introduced abstractly via two composable adjunctions, but concretely captures measures. It turns out to sit in between known monads: on the one hand the distribution and ultrafilter monad, and on the other hand the continuation monad. This expectation monad is used in two probabilistic analogues of fundamental results of Manes and Gelfand for the ultrafilter monad: alge...
متن کاملThe Quantum IO Monad
We present an interface from Haskell to quantum programming: the Quantum IO monad, and use it to implement Shor’s factorisation algorithm. The QIO monad separates reversible (i.e. unitary) and irreversible (i.e. probabilistic) computations and provides a reversible let operation (ulet), allowing us to use ancillas (auxiliary qubits) in a modular fashion. Exploiting Haskell’s class system we can...
متن کاملMonad Sets – Implementation and Mathematical Foundations
A Proof of the uniqueness of monad sets 4 A.
متن کاملThe Quantum Monad on Relational Structures
Homomorphisms between relational structures play a central role in finite model theory, constraint satisfaction and database theory. A central theme in quantum computation is to show how quantum resources can be used to gain advantage in information processing tasks. In particular, non-local games have been used to exhibit quantum advantage in boolean constraint satisfaction, and to obtain quan...
متن کاملProgress in Quantum Foundations
We present a review of the current state of affairs in the foundations of quantum meachanics. After introducing the axioms of quantum theory, the first part of the report examines in detail the trials of interpreting quantum mechanics in a realist way. The main focus of the second half of the review is the attempt to describe quantum mechanics within a larger space of hypothetical theories. A p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2016
ISSN: 0890-5401
DOI: 10.1016/j.ic.2016.02.009